package TangramBase;

import TangramCore.Dilek;

public interface SolutionListener {
    public void solutionFound(String nazev, int solCount, Dilek[] dsol);
    public void solverNotRunning();
}
